Linear Logic Programming By Chris Martens

"Linear Logic Programming" by Chris Martens (2013)

Strange Loop Conference

"Ceptre: A Language for Modeling Generative Interactive Systems" by Chris Martens

Strange Loop Conference

miniKanren Hangout #25

Stephen Mell: Linear Logic is a Language for Structured Data

Topos Institute

Linear Logic, Session Types and Deadlock-Freedom

Simons Institute

"Puzzles, Problems, and Programs" by Chris Martens

Strange Loop Conference

Proof synthesis and differential linear logic

Generalized kerning is undecidable! But anagraphing is possible. (Tom Academy)

A fresh view of linear logic as a logical framework (Elaine Pimentel)

IJCAR-FSCD 2020

PLUG talk - linear types and runtime performance

Paul-André Melliès - A gentle introduction to template games and linear logic

Institut des Hautes Etudes Scientifiques (IHES)

Benchmarking Linear Logic

Proof Theory Virtual Seminar

Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018

SFTTPL: Intro to Linear Logic

The Visual Narrative Engine by Chris Martens et al.

Advances in Cognitive Systems

Client-Server Sessions in Linear Logic

Foundations of Programming Languages: Linear Logic [2/2] - Paul Downen - OPLSS 2018

SMC-based Linear temporal logic motion planning for teams of robots

Resilient Cyber-Physical Systems Lab